Formal sciences - PDFSEARCH.IO - Document Search Engine

Formal sciences
Results: 2816

#	Item
91	Big Data and Analytics in Parcel, Express and Postal In the Parcel, Express and postal market Add to Reading List Source URL: www.ortec-consulting.com Language: English - Date: 2016-06-22 05:29:58 Business intelligence Data Information technology Big data Formal sciences Data management Transaction processing Analytics Predictive analytics
92	MINING MUSICAL TRAITS OF SOCIAL FUNCTIONS IN NATIVE AMERICAN MUSIC Daniel Shanahan1 Kerstin Neubarth2 Darrell Conklin3,4 1 Add to Reading List Source URL: wp.nyu.edu Language: English - Date: 2016-08-16 16:20:28 Information science Information retrieval Music Music information retrieval International Society for Music Information Retrieval Multimedia Music technology Formal sciences Ethnomusicology Rhythm Data analysis Indigenous music of North America
93	The Computational Worldview and the Sciences: a Report on Two Workshops Sanjeev Arora∗ Avrim Blum† Leonard J. Schulman‡ Alistair Sinclair§ Add to Reading List Source URL: users.cms.caltech.edu Language: English - Date: 2007-10-12 19:44:00 Theoretical computer science Science Formal sciences Algorithmic game theory Game theory Theory of computation Emerging technologies Algorithmic Quantum computing Quantum mechanics Quantum information Computational science
94	Notes on Reading the Washington State Mathematics Standards Transition Documents This document serves as a guide to translate between the 2008 Washington State K-8 Learning Standards for Mathematics and the Common Core S Add to Reading List Source URL: www.k12.wa.us Language: English - Date: 2015-10-22 13:00:23 Mathematics Algebra Elementary arithmetic Binary operations Standards-based education Formal sciences Mathematical notation Common Core State Standards Initiative Fraction Real number Probability Addition
95	Clinithink CLiX ENRICH Increase the potency of analytics solutions using unstructured data Healthcare technology platforms have a wealth of clinical Add to Reading List Source URL: clinithink.com Language: English - Date: 2015-05-19 11:06:24 Business intelligence Information technology Computing Information Formal sciences Big data Data Information technology management Unstructured data Analytics CLIX International Statistical Classification of Diseases and Related Health Problems
96	DATA AND ANALYTICS COMING SOON DATA AND ANALYTICS COMING SOON TO WRDS WRDS provides the leading business intelligence, data analytics, and financial research platform for global institutions dedicated to providing Add to Reading List Source URL: www.whartonwrds.com Language: English - Date: 2016-07-27 13:02:24 Financial data vendors Data management Finance Money Business intelligence Formal sciences Compustat Analytics Eurekahedge Thomson Reuters Wharton School of the University of Pennsylvania SAS
97	A deep-network solution towards model-less obstacle avoidance Lei Tai1 , Shaohua Li2 , Ming Liu1,2 Abstract— Obstacle avoidance is the core problem for mobile robots. Its objective is to allow mobile robots to explore Add to Reading List Source URL: ram-lab.com Language: English - Date: 2016-08-03 06:46:08 Computational neuroscience Artificial intelligence Cybernetics Neuroscience Artificial neural networks Formal sciences Machine learning Computer vision Convolutional neural network Deep learning Robotics Pattern recognition
98	Make the Switch: Upgrade to Infinity Analytics™ Solution Overview Add to Reading List Source URL: cdn.webtrends.com Language: English Web analytics Economy Business intelligence Information technology Computing Webtrends Formal sciences Analytics Big data Internet of things Learning analytics
99	20160527_ecppm2016-process-mining_schaijk-berlo Add to Reading List Source URL: bimserver.org Language: English - Date: 2016-07-04 09:11:06 Information technology Economy Computing Process management Formal sciences Process mining Data management Building information modeling Data modeling Business process management Business intelligence Wil van der Aalst
100	NRL BAA Announcement # MATHEMATICAL FOUNDATIONS OF HIGH ASSURANCE COMPUTING The Formal Methods Section (Codeof the Naval Research Laboratory’s Center Add to Reading List Source URL: heron.nrl.navy.mil Language: English - Date: 2016-02-17 10:17:54 Formal sciences Security Cryptography Cyberwarfare Analysis Critical thinking Thought Mathematics Simulation Computer security